Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused review of (...) what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)

Objective We reviewed human–robot interaction (HRI) participatory design (PD) research with older adults. The goal was to identify methods used, determine their value for design of robots with older adults, and provide guidance for best practices. Background Assistive robots may promote aging-in-place and quality of life for older adults. However, the robots must be designed to meet older adults’ specific needs and preferences. PD and other user-centered methods may be used to engage older adults in the robot development process to (...) accommodate their needs and preferences and to assure usability of emergent assistive robots. Method This targeted review of HRI PD studies with older adults draws on a detailed review of 26 articles. Our assessment focused on the HRI methods and their utility for use with older adults who have a range of needs and capabilities. Results Our review highlighted the importance of using mixed methods and including multiple stakeholders throughout the design process. These approaches can encourage mutual learning (to improve design by developers and to increase acceptance by users). We identified key phases used in HRI PD workshops (e.g., initial interview phase, series of focus groups phase, and presentation phase). These approaches can provide inspiration for future efforts. Conclusion HRI PD strategies can support designers in developing assistive robots that meet older adults’ needs, capabilities, and preferences to promote acceptance. More HRI research is needed to understand potential implications for aging-in-place. PD methods provide a promising approach. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

Explaining the behaviour of ecosystems is one of the key challenges for the biological sciences. Since 2000, new-mechanicism has been the main model to account for the nature of scientific explanation in biology. The universality of the new-mechanist view in biology has been however put into question due to the existence of explanations that account for some biological phenomena in terms of their mathematical properties (mathematical explanations). Supporters of mathematical explanation have argued that the explanation of the behaviour of ecosystems (...) is usually provided in terms of their mathematical properties, and not in mechanistic terms. They have intensively studied the explanation of the properties of ecosystems that behave following the rules of a non-random network. However, no attention has been devoted to the study of the nature of the explanation in those that form a random network. In this paper, we cover that gap by analysing the explanation of the stability behaviour of the microbiome recently elaborated by Coyte and colleagues, to determine whether it fits with the model of explanation suggested by the new-mechanist or by the defenders of mathematical explanation. Our analysis of this case study supports three theses: (1) that the explanation is not given solely in terms of mechanisms, as the new-mechanists understand the concept; (2) that the mathematical properties that describe the system play an essential explanatory role, but they do not exhaust the explanation; (3) that a non-previously identified appeal to the type of interactions that the entities in the network can exhibit, as well as their abundance, is also necessary for Coyte and colleagues’ account to be fully explanatory. From the combination of these three theses we argue for the necessity of an integrative pluralist view of the nature of behaviour explanation when this is given by appealing to the existence of a random network. (shrink)

This is a three-part exchange on the relationship between belief and credence. It begins with an opening essay by Roger Clarke that argues for the claim that the notion of credence generalizes the notion of belief. Julia Staffel argues in her reply that we need to distinguish between mental states and models representing them, and that this helps us explain what it could mean that belief is a special case of credence. Roger Clarke's final essay reflects on the (...) compatibility of the previously discussed views with dualist and monist interpretations of our mental states and our ways of modeling them. (shrink)

critical analyses of the arguments and attitudes favoring the various popular datings of the inception of a human being's life.

This paper argues for a treatment of belief as essentially sensitive to certain features of context. The first part gives an argument that we must take belief to be context-sensitive in the same way that assertion is, if we are to preserve appealing principles tying belief to sincere assertion. In particular, whether an agent counts as believing that p in a context depends on the space of alternative possibilities the agent is considering in that context. One and the same doxastic (...) state may amount to belief that p in one context but not another. The second part of the paper gives a formal treatment of doxastic states, according to which belief is context-sensitive along just these lines. The model is applied to characterize (but not to refute) skeptical arguments. (shrink)

In this paper Animalism is analysed. It will be argued that Animalism is correct in claiming (i) that being of a certain sort of animal S is a fundamental individuative substance sortal concept (animal of the species Homo Sapiens), (ii) that this implies that Animalism is correct in claiming that persons such as us are, by necessity, human beings, (iii) that remaining the same animal is a necessary condition for our identity over time. Contrary to Animalism it will be argued (...) that this does not imply that person should be understood as a phased sortal concept. It will be argued that Animalism rests upon a prior conception of person, and that this implies that person must be understood as a basic substance sortal concept through which we have to individuate ourselves and others. It is further argued that this, together with the insights of Animalism, implies that persons, by necessity, are beings of a biological nature. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

Is God a person, like you and me eventually, but only much better and without our human deficiencies? When you read some of the philosophers of religion, including Richard Swinburne, Alvin Plantinga, or Open Theists, God appears as such a person, in a sense closer to Superman than to the Creator of Heaven and Earth. It is also a theory that a Christian pastoral theology today tends to impose, insisting that God is close to us and attentive to all of (...) us. But this modern account of God could be a deep and even tragic mistake. One God in three persons, the formula of the Trinity, does not mean that God is a person. On this matters we need an effort in the epistemology of theology to examine more precisely what we can pretend to know about God, and especially how we could pretend to know that God is person. (shrink)

Our culture is conflicted about morally judging and condemning. We can't avoid it altogether, yet many layfolk today are loathe to do it for reasons neither they nor philosophers well understand. Their resistance is often confused (by themselves and by theorists) with some species of antiobjectivism. But unlike a nonobjectivist, most people think that (a) for us to judge and condemn is generally (objectively) morally wrong , yet (b) for God to do so is (objectively) proper, and (c) so too (...) for certain persons in certain relations (e.g., self-condemnation, parental child rearing.) Certainly, religious (e.g., Christian) critics of judging and condemning without doubting the objective truth of their tradition's core moral teachings. Most puzzling is that (a) merely judging and condemning in one's heart may be improper, and (b) someone else with no more evidence or expertise might properly judge and condemn the same action. The answer is in condemning's complex structure of presuppostions. Condemning and judging are acts, and attitudes initiated by the act. Condemnation is motivated by two judgments presumed to justify it, a criticism of a target, and a judgment that the criticism justifies some negative response toward the target. Unlike nonpunitive penalties, punishments are motivated and explained by condemnation. Condemnation is an act of a hostile will, wishing some evil for its target, not (just) as a means to some good. Its root is in damning, an act akin to cursing. It declares a degraded status. The hostility makes it harder to justify condemnation than criticism, and punishment than nonpunitive penalties. Condemning claims objectivity and authority. It involves reflexive evaluation, regarding itself justified, approving its hostile feelings toward the target. Condemners presume themselves entitled to sit in judgment, pass judgment, and cast the condemned down. Those presumptions inhere in sitting in judgment, assuming jurisdiction. Unlike mathematical or scientific judgments, passing moral judgment seems to be a political act subject to extraepistemic constraints. "Who are you to judge?" may properly challenge your right to pass judgment. (shrink)

Effective Altruism is a social movement which encourages people to do as much good as they can when helping others, given limited money, time, effort, and other resources. This paper first identifies a minimal philosophical view that underpins this movement, and then argues that there is an analogous minimal philosophical view which might underpin Effective Justice, a possible social movement that would encourage promoting justice most effectively, given limited resources. The latter minimal view reflects an insight about justice, and our (...) non-diminishing moral reason to promote more of it, that surprisingly has gone largely unnoticed and undiscussed. The Effective Altruism movement has led many to reconsider how best to help others, but relatively little attention has been paid to the differences in degrees of cost-effectiveness of activities designed to decrease injustice. This paper therefore not only furthers philosophical understanding of justice, but has potentially major practical implications. (shrink)

The appeal to mechanisms in scientific explanation is commonplace in contemporary philosophy of science. In short, mechanists argue that an explanation of a phenomenon consists of citing the mechanism that brings the phenomenon about. In this paper, we present an argument that challenges the universality of mechanistic explanation: in explanations of the contemporary features of the eukaryotic cell, biologists appeal to its symbiogenetic origin and therefore the notion of symbiogenesis plays the main explanatory role. We defend the notion that symbiogenesis (...) is non-mechanistic in nature and that any attempt to explain some of the contemporary features of the eukaryotic cell mechanistically turns out to be at least insufficient and sometimes fails to address the question that is asked. Finally, we suggest that symbiogenesis is better understood as a pragmatic scientific law and present an alternative non-mechanistic model of scientific explanation. In the model we present, the use of scientific laws is supposed to be a minimal requirement of all scientific explanations, since the purpose of a scientific explanation is to make phenomena expectable. Therefore, this model would help to understand biologists’ appeal to the notion of symbiosis and thus is shown to be better, for the case under examination, than the mechanistic alternative. (shrink)

Fiona Woollard argues that when one is personally involved in an emergency, one has a moral requirement to make substantial sacrifices to aid others that one would not otherwise have. She holds that there are three ways in which one could be personally involved in an emergency: by being physically proximate to the victims of the emergency; by being the only person who can help the victims; or by having a personal encounter with the victims. Each of these factors is (...) claimed to be defeasibly sufficient to ground personal involvement, and thus a requirement of substantial sacrifice to aid. Woollard defends this view on the basis of a number of cases. We show that Woollard’s cases contain various confounding factors. In view of the more precisely drawn cases offered here, it is clear that neither proximity nor uniqueness nor personal encounter is intuitively defeasibly sufficient in the way Woollard claims. (shrink)

In her book Michel de Montaigne: Accidental Philosopher, Ann Hartle argues that Montaigne’s thought is dialectical in the Hegelian sense. Unlike Hegel’s progressive dialectic, however, Montaigne’s thought is, according to Hartle, circular in that the reconciliation of opposed terms comes not in the form of a newly emergent term, but in a return to the first term, where the meaning of the first is transformed as a result of its dialectical interaction with the second. This analysis motivates Hartle’s claim that (...) Montaigne is not a skeptic at all, let alone a Pyrrhonian skeptic. In this paper, I argue that Hartle’s circular-dialectical interpretation of Montaigne is not only compatible with Pyrrhonism, but is in fact an ideal model for understanding Sextus Empiricus’s skeptical therapy. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

Philosophers of religion of the Cracow Circle (1934-1944) are the principal precursors of what is now called the analytic philosophy of religion. The widespread claim that the analytic philosophy of religion was from the beginning an Anglo-American affair is an ill-informed one. It is demonstrable that the enterprise, although not the label "analytic philosophy of religion," appeared in Poland in the 1930’s. Józef Bochenski’s postwar work is a development of the Cracow Circle’s prewar work in the analytic philosophy of religion, (...) or at least of important elements of that earlier work. Bochenski’s approach in his ’Logic of Religion’ is quite original and might still be profitably studied and discussed by philosophers of religion of the analytic persuasion. (shrink)

Thompson Clarke’s seminal paper “The Legacy of Skepticism” (1972) is notoriously difficult in both substance and presentation. Despite the paper’s importance to skepticism studies in the nearly half-century since its publication, no attempt has been made in the secondary literature to provide an account, based on a close reading of the text, of just what Clarke’s argument is. Furthermore, much of the existing literature betrays (or so it seems to me) fundamental misunderstandings of Clarke’s thought. In this essay, I attempt (...) to explain—concisely but comprehensively—Clarke’s overall argument in “The Legacy of Skepticism.”. (shrink)

Analyses of quotation have assumed that quotations are referring expressions while disagreeing over details. That assumption is unnecessary and unacceptable in its implications. It entails a quasi-Parmenidean impossibility of meaningfully denying the meaningfulness or referential function of anything uttered, for it implies that: 'Kqxf' is not a meaningful expression 'The' is not a referring expression are, if meaningful, false. It also implies that ill formed constructions like: 'The' is 'the' are well formed tautologies. Such sentences make apparent the need for (...) what is commonly explicit, a genuine referring expression, a noun phrase, usually a description, to which the quotation is appositional. A quotation is not itself a word, though it may contain such. The markers signal that the enquoted material is like a sentence-embedded color patch, material displayed to facilitate reference to something identifiable by/with it specified by the noun phrase it subserves. (shrink)

A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a thing, (...) such as a set, does not exist until after the stuff is tied together, or said another way, until what is contained within is completely defined. A second corollary is that after a grouping defining what is contained within is present and the thing exists, if one then alters what is tied together (e.g., alters what is contained within), the first existent entity is destroyed and a different existent entity is created. A third corollary is that a thing exists only where and when its grouping exists. Based on this, the Russell Paradox's set R of all sets that aren't members of themselves does not even exist until after the list of the elements it contains (e.g. the list of all sets that aren't members of themselves) is defined. Once this list of elements is completely defined, R then springs into existence. Therefore, because it doesn't exist until after its list of elements is defined, R obviously can't be in this list of elements and, thus, cannot be a member of itself; so, the paradox is resolved. This same type of reasoning is then applied to Godel's first Incompleteness Theorem. Briefly, while writing a Godel Sentence, one makes reference to a future, not yet completed and not yet existent sentence, G, that claims its unprovability. However, only once the sentence is finished does it become a new unit whole and existent entity called sentence G. If one then goes back in and replaces the reference to the future sentence with the future sentence itself, a totally different sentence, G1, is created. This new sentence G1 does not assert its unprovability. An objection might be that all the possibly infinite number of possible G-type sentences or their corresponding Godel numbers already exist somehow, so one doesn't have to worry about references to future sentences and springing into existence. But, if so, where do they exist? If they exist in a Platonic realm, where is this realm? If they exist pre-formed in the mind, this would seem to require a possibly infinite-sized brain to hold all these sentences. This is not the case. What does exist in the mind is the system for creating G-type sentences and their corresponding numbers. This mental system for making a G-type sentence is not the same as the G-type sentence itself just as an assembly line is not the same as a finished car. In conclusion, a new resolution of the Russell Paradox and some issues with proofs of Godel's First Incompleteness Theorem are described. (shrink)

Anthology introduction Intro to Empowering Our Military Conscience.

A lengthy inventory of misreadings and other errors in Phillip Abbott's critique of recent essays on abortion by analytic philosophers.

Many think that Pascal’s Wager is a hopeless failure. A primary reason for this is because a number of challenging objections have been raised to the wager, including the “many gods” objection and the “mixed strategy” objection. We argue that both objections are formal, but not substantive, problems for the wager, and that they both fail for the same reason. We then respond to additional objections to the wager. We show how a version of Pascalian reasoning succeeds, giving us a (...) reason to pay special attention to the infinite consequences of our actions. (shrink)

The Greek constructions of Zoroaster relate to the historical Zoroaster and to the Zoroaster of the Zoroastrian faith in one respect only. The Greeks knew that Zoroaster was the “prophet,” in the sense of the human founder, of the national Persian religion of their times. That, of course, is a cardinal fact, but it is one fact only. For the rest, the Greek Zoroasters — for there were many — were fantasies of their own imaginations. Since the Greeks were a (...) curious and inventive people, these multiple Zoroasters are interesting creations in their own right. Of more importance, they are elements in the “West’s” construction — or misconstruction — of a major “oriental” religion. -/- . (shrink)

Tomando en cuenta las críticas más importantes a la teoría de los individuos transmundanos, así como algunos argumentos en relación con el esencialismo de origen, este artículo trata el problema de la identidad de aquellos individuos a través de mundos posibles. Proponemos la noción de mundo admisible como un tipo especial de modelo en Lógica Intensional, que, dentro de otro modelo, permite el mapeo de la historia e identidad de los individuos en diferentes mundos posibles. Esta propuesta sugiere una solución (...) plausible para determinar propiedades esenciales empíricamente relevantes ostentadas por los individuos transmundanos, un método eficaz para evaluar su identidad y, finalmente, una nueva perspectiva desde la cual reexaminar el clásico debate entre realismo y antirrealismo en la Filosofía del Lenguaje. (shrink)

Numerous studies of the beliefs of people with anorexia nervosa (AN) suggest that a subset of such individuals may experience delusions. We first describe what makes a belief delusional and conclude that such characteristics can be appropriately applied to some beliefs of people with AN. Next, we outline how delusional beliefs may relate to the broader psychopathological process in AN, including: (1) they may be epiphenomenal; (2) they may be an initial partial cause of AN; (3) they may be caused (...) by aspects of AN; or (4) they may be sustaining causes, possibly involved in reciprocal causal relations with aspects of AN. We argue that there is good reason to believe that delusional beliefs of people with AN are not merely epiphenomenal, but rather that they’re causally connected to AN. Because of this, empirical studies can be designed to test for the presence of causal relations. We describe how these studies should be designed. The results of such studies have important implications for understanding the experience of individuals with AN and for the treatment of AN. We outline these implications. (shrink)

abortion argument and fact-value distinction.

Feminist social theory and female body experience are the twin themes of Iris Marion Young's twelve outstanding essays written over the past decade and brought together here. Her contributions to social theory raise critical questions about women and citizenship, the relations of capitalism and women's oppression, and the differences between a feminist theory that emphasizes women's difference and one that assumes a gender-neutral humanity. Loosely following a phenomenological method of description, Young's essays on female embodiment discuss female movement, (...) pregnancy, clothing, and the breasted body. In an introduction that situates her work in the context of shifts in feminist theory and politics over the past decade, Young emphasizes the rootedness of her theorizing in a dedicated and seasoned political activism. (shrink)

This paper investigates how the simulation of intelligence, an activity that has been considered the notional task of Artificial Intelligence, does not comprise its duplication. Briefly touching on the distinction between conceivability and possibility, and commenting on Ryan’s approach to fiction in terms of the interplay between possible worlds and her principle of minimal departure, we specify verisimilitude in Artificial Intelligence as the accurate resemblance of intelligence by its simulation and, from this characterization, claim the metaphysical impossibility of duplicating intelligence, (...) as neither verisimilarly nor convincingly simulating intelligence involves its duplication. To this end, we argue by a representative case of simulation that, albeit conceivable, Turing’s test for machine intelligence wrongly equates the occurrence of indistinguishable intelligence performance to intelligence duplication, which is grounded in a prima facie conceivable but metaphysically impossible view that separates intelligence from its origin. Finally, we establish the following criterion for evaluating simulation in Artificial Intelligence: simulations succeed in AI if and only if they are able to epistemically persuade human beings that intelligence has been duplicated, that is, if and only if verisimilar simulations can convincingly minimally depart from actual intelligence. (shrink)

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical (...) sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

As part of a review symposium on DARWIN'S ARGUMENT BY ANALOGY: FROM ARTIFICIAL TO NATURAL SELECTION (2021), the journal METASCIENCE invited Roger White, Jon Hodge and me to submit a response to the thoughtful commentaries on our book by Andrea Sullivan-Clarke, David Depew and Andrew Inkpen.

Animal protectionists condemn speciesism for motivating the practices protectionists condemn. This misconceives both speciesism and the morality condoning those practices. Actually, animal protectionists can be and generally are speciesists. The specifically speciesist aspects of people’s beliefs are in principle compatible with all but the most radical protectionist proposals. Humanity’s speciesism is an inclusivist ideal encompassing all human beings, not an exclusionary ethos opposing moral concern for nonhumans. Anti-speciesist rhetoric is akin to anti-racist rhetoric that condemned racists for regarding people as (...) moral inferiors because of their skincolor. Actually, racists never thought that skin color is itself a reason for discounting someone’s interests, just as humans have never thought that only a human can be a proper object of moral concern. Some speciesists have great concern for animal suffering; some don’t. Animal protectionists have yet to show that a lack of concern is due to some false assumptions. (shrink)

According to theological fictionalism, God has the same status as a fictional character in a novel or a movie. Such a claim has been defended by Robin Le Poidevin on the basis of Kendall Walton’s theory of make believe. But it is not only a philosophical esoteric account of religious beliefs, it is now an exoteric view, sometimes accepted by "believers" themselves, and so could even be considered a postmodern heresy. But theological fictionalism does not work: faith is real assent (...) and not make believe; belief is different from acceptance; belief and faith are dispositional, but make believe seems to presuppose an account of beliefs as occurrent states; we cannot anymore imagine at will than we can believe at will. (shrink)

In Beyond Art (2014), Dominic Lopes proposed a new theory of art, the buck passing theory. Rather than attempting to define art in terms of exhibited or genetic featured shared by all artworks, Lopes passes the buck to theories of individual arts. He proposes that we seek theories of music, painting, poetry, and other arts. Once we have these theories, we know everything there is to know about the theory of art. This essay presents two challenges to the theory. First, (...) this essay argues that Lopes is wrong in supposing that theories of arts were developed to deal with the ‘hard cases’ – developments such as Duchamp’s readymades and conceptual art. This is a problem since Lopes holds that the buck passing theory’s capacity to deal with the hard cases is one of its virtues. Second, this essay argues that the buck passing theory has no account of which activities are arts and no account of what makes some activity an art. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and also (...) a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

This article examines the question of whether the atheist and the believer can understand each other, to the point of being friends intellectually. The answer is no. The atheist and the believer can be best enemies, but their epistemic disagreement is definitely radical. For it is not a disagreement on religious belief itself, but about what allows the believer to believe. The article examines some aspects of John Greco’s concept of ”friendly theism’, the discussion of conciliationism and anti-conciliatonism, and the (...) epistemic role of the Holy Spirit. (shrink)

People espousing human moral equality encompassing every conspecific have been unumbrageous being labeled ‘speciesists’ and likened to Nazis and Klansmen, despite the insult’s being indefensible, and, if meant seriously, enraging. Perhaps their equanimity is unruffled because anti-speciesist acquaintances are remarkably chummier with them than with real racists. -/- Anti-speciesists confuse two questions: (1) Is the bare fact of an individual’s being a human in itself a reason for us humans to deal with it as we'd like to be dealt with? (...) (2) Have we enough reason, apart from human well-being, to impose on each other protections of other animals? Speciesism, perspicuously specified, says ‘yes’ to (1) and nothing about (2). World-wide, human fantasy is filled with nonhuman persons, alien morally accountable agents, thought worthy of being treated as we would wish to be treated, or better. The idea of human equality is consistent with both rapaciously using animals and radical animal protectionism. We meat-eaters discount animal interests, not because they’re nonhuman, but because we know no compelling reason to count them more. -/- Anti-speciesist literature is surveyed and seen to specify ‘speciesism’ capriciously. Terminology aside, anti-speciesist criticisms are specious. Anti-speciesists hope to shift the justificatory burden by denying species membership any moral relevance, but that denial cannot motivate their protectionism. Their ad hominem dismissal of speciesism as a self-serving prejudice is unsustainable. Their avowed inability to imagine any justification of speciesism is hardly probative. Their alleged refutations are baldly question-begging assertions of theses of hallowed ethical theories speciesism denies. They derive anti-speciesism from “anti-biologism” (a radical denial of any biological relation’s having any intrinsic moral relevance), which is fallaciously extrapolated from anti-racist and anti-sexist ideas. Appeals to taxonomical controversies glibly and disingenuously assume the relevance of those controversies, which anti-biologism denies. (shrink)

Decision-making by a Data and Safety Monitoring Board (DSMB) regarding clinical trial conduct and termination is intricate and largely limited by cases and rules. Decision-making by legal jury is also intricate and largely constrained by cases and rules. In this paper, I argue by analogy that legal decision-making, which strives for a balance between competing demands of conservatism and innovation, supplies a good basis to the logic behind DSMB decision-making. Using the doctrine of precedents in legal reasoning as my central (...) analog will lead us to a decision-theoretic analogy for much more systematic documentation of decisions in clinical trials. My conclusion is twofold: every DSMB decision should articulate a clear general principle (a ratio decidendi) that gives reason for the decision; and all such decisions should be made public. I use Bartha’s (2010) theory of analogical arguments to both frame and assess my argument by analogy. (shrink)

What should be a police department's policies and regulations on the use of deadly force? What is the relevance for this of the state law on capital punishment?

Post-Fregean theorists use 'quotation' to denote indifferently both colloquially called quotations (repetitions of prior utterances) and what I call 'displays': 'Rot' means red. Colloquially, quotation is a strictly historical property, not semantic or syntactic. Displays are semantically and syntactically distinctive sentential elements. Most displays are not quotations. Pure echo quotations (Cosmological arguments involve "an unnecessary shuffle") aren't displays. Frege-inspired formal languages stipulate that enquotation forms a singular term referring to the enquoted expression (type). Formalist enquotations differ semantically and syntactically from (...) natural language displays. Call them autonomes, and mark them with stars: *Rot* means red. In formal languages, an unenstarred expression has only one meaning, and an autonome has only one meaning viz., a name (or indexical) designating the unenstarred expression (type). Stars have semantic content and can’t disambiguate. Display punctuation only disambiguates; it says only: This material is displayed. Displays have a semantic function; their marks don't.nDisplays are not terms or lexical items. Displays are objects incorporable into utterances. Such incorporation enables them to be linguistically appropriated much as we appropriate speech-external objects by extrasentential supplementation (e.g., gesturing) to identify the extension of a term by ostending the object -- but now without any extrasentential supplement. Displays are always adjunctive to an (implicit or explicit) ostensionable term, a term whose extension is identifiable by ostending an object. The display-ostensionable term extension relations are various. A display may (1) be the term's referent, or (2) represent the term's extension by (a) replicating or (b) instantiating or (c) expressing the term's referent, or (e) instantiating the property the term predicates. (shrink)

Critique of Alonzo Church's Translation Test. Church's test is based on a common misconception of the grammar of (so-called) quotations. His conclusion (that metalogical truths are actually contingent empirical truths) is a reductio of that conception. Chruch's argument begs the question by assuming that translation must preserve reference despite altering logical form of statements whose truth is explained by their form.

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

The Socratic Paradox (that only Socrates is wise, and only because only he recognizes our lack of wisdom) is explained, elaborated and defended. His philosophical scepticism is distinguished from others (Pyrrhonian, Cartesian, Humean, Kripkean Wittgenstein, etc.): the doubt concerns our understanding of our beliefs, not our justification for them; the doubt is a posteriori and inductive, not a priori. Post-Socratic philosophy confirms this scepticism: contra-Descartes, our ideas are not transparent to us; contra-Verificationism, no criterion distinguishes sense from nonsense. The import (...) of this scepticism for professional ethicists is examined. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential (...) properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

Animal liberationists call speciesism their enemy, but speciesism, perspicuously specified, says only that being human is sufficient for having our moral status. No one thinks it necessary. Throughout history, people have imagined alter-specifics, like the crowd at a Star Wars cantina, whom they’d recognize as their moral equals. Speciesism says nothing about our treatment of nonhumans. Speciesism’s historic popularity justifies presuming it true, a presumption buttressed by the absence of sound objections to it when properly understood. Its rationality is explained (...) by combining two ideas. First, universalizations of our reasons require some category of self-identification. Second, our primary category of self-identification is our key concept for understanding ourselves biologically, metaphysically, psychologically and socially, namely our species concept. We’re rationally bound to conspecifics by the relational “accident” of their essence being our own. (shrink)

Talking about objects requires talking with objects, presenting objects in speech to identify a term's referent. I say This figure is a circle while handing you a ring. The ring is a prop, a perceptual object referenced by an extra-sentential event to identify the extension of a term, its director ('This figure'). Props operate in speech acts and their products, not in sentences. Intra-sentential objects we talk with are displays. Displayed objects needn't be words but must be like words, perceptually, (...) reproductively, and syntactically. Displays are presented by their syntactical position, as terms, with a term-like function. Semantically they are props. The O in FOD (This figure O is a circle) is a prop-like referent, not a term. The O in OD (O is a circle) may be that of FOD, but that display may have semantically and syntactically diverse directors, and without a specific one OD has no determinate sense Describing the display of quotations demands distinguishing displays from quotations. Quotations are repetitions of something said. Displays are perceptual objects, linguistic and non-linguistic, reproductions and originals, presented in sentences to identify a referent. Display markers are disambiguators that say: Read this as a prop. They may mark direct speech from indirect speech. Markers of quotation say: Someone said this. That historical claim is outside a sentence's propositional content. Those marks don't say: This is a display. They do make it true. Calling displays quotations muddies the study of speaking with speech. Calling both displays and intranyms quotations muddies the study of meaning and truth. Intranyms are terms, consisting of an expression flanked by lines, that denote that interior expression. Intranyms are created by stipulation to formalize a metalanguage. Formalization of a metalanguage replaces displays with intranyms. Formalized metalanguages lack the logical form and subject matter of our natural metalanguage. (shrink)

Victims of crime have long been victimized by our criminal justice system. Why? And why has the movement to rectify this been so late coming?

The psychological and neurobiological processes underlying moral judgement have been the focus of many recent empirical studies1–11. Of central interest is whether emotions play a causal role in moral judgement, and, in parallel, how emotion-related areas of the brain contribute to moral judgement. Here we show that six patients with focal bilateral damage to the ventromedial prefrontal cortex (VMPC), a brain region necessary for the normal generation of emotions and, in particular, social emotions12–14, produce an abnor- mally ‘utilitarian’ pattern of (...) judgements on moral dilemmas that pit compelling considerations of aggregate welfare against highly emotionally aversive behaviours (for example, having to sacrifice one person’s life to save a number of other lives)7,8. In contrast, the VMPC patients’ judgements were normal in other classes of moral dilemmas. These findings indicate that, for a selective set of moral dilemmas, the VMPC is critical for normal judgements of right and wrong. The findings support a necessary role for emotion in the generation of those judgements. (shrink)